Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
81	EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 259 DATE: AUGUST 1, 2016 PROJECT MP0239 Add to Reading List Source URL: www.cooperativepatentclassification.org Language: English - Date: 2016-07-18 10:19:02 Business Linguistics Logic Punctuation Definition Lexicography Meaning Philosophical logic Semantics Bracket Intermodal container Containerization
82	From image descriptions to visual denotations: New similarity metrics for semantic inference over event descriptions Peter Young Alice Lai Micah Hodosh Julia Hockenmaier Department of Computer Science University of Illin Add to Reading List Source URL: shannon.cs.illinois.edu Language: English - Date: 2014-01-20 18:45:26 Semantics Computational linguistics Linguistics Logic Language Natural language processing Semiotics Meaning SemEval Distributional semantics Denotation Code
83	COMPLEX REFLEXIVES & THE PRINCIPLE A PROBLEM* Pritty Patel-Grosz (MIT) 1. Introduction 1.1 The Puzzle Add to Reading List Source URL: prittypatelgrosz.files.wordpress.com Language: English - Date: 2013-07-29 05:45:35 Logic Semantics Culture Philosophical logic Language Indo-Aryan languages Languages of Pakistan Anaphora Pragmatics Gujarati language Costas Meaning
84	Towards Semantics-Based Partial Evaluation of Imperative Programs Julio C. Peralta April 1997 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Computer programming Programming paradigms Theoretical computer science Constraint logic programming Prolog Programming language Partial evaluation Functional programming Constraint programming Abstract interpretation Logic programming
85	A Short Introduction to Probabilistic Soft Logic Angelika Kimmig1,2 , Stephen H. Bach1 , Matthias Broecheler3 , Bert Huang1 , Lise Getoor1 1 University of Maryland, 2 KU Leuven, 3 Aurelius LLC Add to Reading List Source URL: psl.umiacs.umd.edu Language: English - Date: 2013-06-14 19:26:51 Logic Philosophy Bayesian statistics Markov networks Model theory Reasoning Semantics Probabilistic soft logic Markov logic network Probabilistic logic Statistical relational learning Logical truth
86	Investigating the Use of Distributional Semantic Models for Co-Hyponym Identification in Special Corpora Investigating the Use of Distributional Semantic Models for Co-Hyponym Identification in Special Corpora Add to Reading List Source URL: pars.ie Language: English - Date: 2015-09-10 14:48:18 Linguistics Hierarchy Hyponymy and hypernymy Knowledge representation Computational linguistics Structure Random indexing Logic Semantics Is-a Distributional semantics
87	An Essay Concerning Human Understanding Book III: Words John Locke Copyright © 2010–2015 All rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has been a Add to Reading List Source URL: www.earlymoderntexts.com Language: English Philosophy Epistemology Philosophical logic Philosophy of language Thought Semantics An Essay Concerning Human Understanding Empiricism Idea Meaning John Locke Nous
88	Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-12-13 08:22:59 Theoretical computer science Software engineering Logic in computer science Computing Formal methods Programming language semantics Compiler construction Operational semantics Semantics Formal verification Compiler correctness Programming language
89	A Formal Model and Composition Language for Context-Aware Service Protocols A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Sala¨ un Add to Reading List Source URL: casta.unibe.ch Language: English - Date: 2012-07-02 10:13:08 Theoretical computer science Logic in computer science Programming language semantics Communications protocol Data transmission Model theory Operational semantics Models of computation
90	Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation Mario Alviano, Wolfgang Faber, and Nicola Leone Department of Mathematics University of CalabriaRende (CS), Italy Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-17 20:33:04 Logic programming Mathematical logic Theoretical computer science Logic Order theory Model theory Stable model semantics Path ordering Negation as failure FO

UPDATE